- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'Andrzej Włodzimierz Mostowski'
960 found
Order:
- Logika dla inżynierów.Andrzej Włodzimierz Mostowski - 1970 - Warszawa,: Panstwowe Wydawn. Naukowe. Edited by Zdzisław Pawlak.
- N. M. Nagornyj. Primer gruppy s nérékursivnym céntrom . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 304–308. [REVIEW]A. Włodzimierz Mostowski - 1966 - Journal of Symbolic Logic 31 (4):653-653.
- P. S. Novikov and S. I. Adán. Probléma toždéstva dlá polugrupp s odnostoronnim sokraščéniém . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 66–88. [REVIEW]A. Włodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):57.
- Novikov P. S.. O nérazréšimosti problémy toždéstva slov v gruppé i nékotoryh drugih problém algebry . Čehoslovackij matématičéskij žurnál , vol. 6 , pp. 450–454. [REVIEW]A. Włodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):56-57.
- Andrzej Mostowski and foundational studies.Andrzej Mostowski, Andrzej Ehrenfeucht, Wiktor Marek & Marian Srebrny (eds.) - 2008 - Amsterdam: IOS Press.
- Abzählbare Boolesche Körper und ihre Anwendung auf die Allgemeine Metamathematik.Andrzej Mostowski - 1938 - Journal of Symbolic Logic 3 (1):47-47.
- Boolesche Ringe Mit Geordneter Basis.Andrzej Mostowski & Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (3):124-125.
- Ladislav Rieger. Ob algébrah Suslina i ih prédstavlénii . Čéhoslovackij matétnatičéskij žurnal , vol. 5 , pp. 99–142.Andrzej Mostowski - 1964 - Journal of Symbolic Logic 29 (2):96-97.
- (2 other versions)On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
- On the Decidability of Some Problems in Special Classes of Groups.A. Wlodzimierz Mostowski - 1970 - Journal of Symbolic Logic 35 (3):476-477.
- Logika matematyczna.Andrzej Mostowski - 1948 - Synthese 7 (4):299-301.No categories
- A. A. Markov. Konstruktivnaá logika . Uspéhi matematičéskih nauk, vol. 5 no. 3 , pp. 187–188.Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):257-257.
- Zawirski Zygmunt. Geneza i rozwój logiki intuicjonistycznej . Kwartalnik filozoficzny, vol. 16 no. 2–4 , pp. 165–222.Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (1):26-27.
- Arithmetic of Divisibility in Finite Models.Andrzej Mostowski - 2004 - Mathematical Logic Quarterly 50:169-174.Export citation
Bookmark - O zdaniach nierozstrzygalnych w sformalizowanych systemach matematyki.Andrzej Mostowski - 1946 - Kwartalnik Filozoficzny 16 (2):223-273.No categoriesExport citation Bookmark
- Markov A. A.. O nérazréšmyh algorifmičéskih problémah . Matématičéskij sbornik, n.s. vol. 31 , pp. 34–42.Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (4):341-341.
- Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic.Andrzej Mostowski - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog], Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 269--286.
- [Omnibus Review].Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (2):223-224.
- Lüders deformation and superplastic flow of metals extruded by KOBO method.Andrzej Korbel & Włodzimierz Bochniak - 2013 - Philosophical Magazine 93 (15):1883-1913.No categories
- Review: P. S. Novikov, S. I. Adan, Das Wortproblem fur Halbgruppen mit Eiseitiger Kurzungsregel. [REVIEW]A. Wlodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):57-57.Export citation Bookmark
- Development and Applications of the "Projective" Classification of Sets of Integers.Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (1):44-45.
- Quelques Observations sur l'Usage des Methodes non Finitistes dans la Meta- Mathematiques.Andrzej Mostowski - 1959 - Journal of Symbolic Logic 24 (3):234-235.
- Trahténbrot B. A.. O rékursivnoj otdélimosti . Doklady Akadémii Nauk SSSR, vol. 88 , pp. 953–956.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (1):60-60.
- (1 other version)An Example of a Non-Axiomatizable Many Valued Logic.Andrzej Mostowski - 1961 - Mathematical Logic Quarterly 7 (1-5):72-76.
- Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.
- Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.".Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (4):343-343.
- On a Set of Integers Not Definable by Means of One-Quantifier Predicates.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (2):135-135.
- Uspénskij V. A.. O vyčislimyh opéraciáh . Doklady Akadémii Nauk SSSR, vol. 103 , pp. 773–776.Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (1):76-77.
- Über die Unabhangigkeit des Wohlordnungssatzes vom Ordnungsprinzip.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):129-130.
- Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
- Foundational studies: selected works.Andrzej Mostowski - 1979 - New York: sole distributor for the U.S.A. and Canada, Elsevier North-Holland. Edited by Kazimierz Kuratowski.Provability, Computability and Reflection.
- Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
- Thirty Years of Foundational Studies, Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964.Andrzej Mostowski - 1968 - Studia Logica 22:169-170.
- An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.
- On Various Degrees of Constructivism.Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (4):575-576.
- Beispiel einer Gruppe mit Nicht Rekursivem Zentrum.A. Wlodzimierz Mostowski & N. M. Nagornyj - 1966 - Journal of Symbolic Logic 31 (4):653.
- Zum Problem der Darstellbarkeit von Matrizen.A. Wlodzimierz Mostowski & A. A. Markov - 1966 - Journal of Symbolic Logic 31 (4):653.
- Axiom of Choice for Finite Sets.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):45-46.
- Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel.Andrzej Mostowski - 1952 - Westport, Conn.: Greenwood Press.The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
- On the Principle of Dependent Choices.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 14 (4):257-257.
- Médvédév Ú. T.. Stépéni trudnosti massovyh problém . Doklady Akadémii Nauk SSSR, vol. 104 , pp. 501–504.Andrzej Mostowski - 1956 - Journal of Symbolic Logic 21 (3):320-321.
- Rasiowa Helena. Z dziedziny logiki matematycznej.—I. Klasyczny rachunek zdań. Matemaíyka, vol. 2 , pp. 3–8.Goląb Stanisław. O kilku trudnościach zwiqzanych z prostymi kwestiami logicznymi . Matemaíyka, vol. 2 , pp. 27–29.Słupecki Jerzy. O własnościach okresu warunkowego . Matemaíyka, vol. 2 , pp. 32–35. [REVIEW]Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (2):139-140.
- (1 other version)Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.No categories
- Alfred Tarski.Andrzej Mostowski - 1967 - In Paul Edwards, The Encyclopedia of philosophy. New York,: Macmillan. pp. 8--77.
- A. I. Mal′cév. O malyh modélah . Doklady Akadémii Nauk SSSR, vol. 127 , pp. 258–261.Andrzej Mostowski - 1969 - Journal of Symbolic Logic 34 (3):513-514.
- Markov A.. O nékotoryh nérazréšimyh problémah kasaúščihsá matric . Doklady Akadémii Nauk SSSR, vol. 57 , pp. 539–542.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):53-54.
- S. R. Kogalovskij. K sémantiké téorii tipov . Izvéstiá vysših učébnyh zavédénij, Matématika, no. 1 , pp. 89–98.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):193-194.
- (1 other version)On the rules of proof in the pure functional calculus of the first order.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):107-111.
- Über den Begriff einer Endlichen Menge.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (1):30-30.
- On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
| 1 — 50 / 960 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-s277s uwo